
#
a="9f39f51068b088b8"
a1="synt{0643qq1*-*63p-57n*-*584o6-0*74o0q25o}"

import hashlib
import itertools
import string

b=string.printable[:36]
for i in itertools.product(b,repeat=5):
    key = "synt{{0643qq1{0}-{1}63p-57n{2}-{3}584o6-0{4}74o0q25o}}".format(i[0], i[1], i[2], i[3], i[4])
    key_md5=hashlib.md5(key.encode()).hexdigest()
    if a in key_md5:
        print(key)
        break
flag=""
for i in key:
    if i.islower():
        flag+=chr(ord(i)-13)
    else:
        flag+=i
print(flag)
#flag{0643dd10-863c-57a7-c584b6-0f74b0d25b}
